101. Automata theory : machines and languages
پدیدآورنده : Kain, Richard Y
کتابخانه: Library of College of Science University of Tehran (Tehran)
موضوع : ، Machine theory,، Formal languages,، Mathematical linguistics
رده :
QA
267
.
K35
102. Automata theory: machines and languages
پدیدآورنده : Kain, Richard Y.
کتابخانه: Central Library of Sharif University of Technology (Tehran)
موضوع : ، Machine theory,، Formal languages,، Mathematical linguistics
رده :
QA
267
.
K35
103. Automatentheorie und formale Sprachen
پدیدآورنده : Hotz, Gunter
کتابخانه: Library of College of Science University of Tehran (Tehran)
موضوع : ، Machine theory,، Formal languages,، Machine theory
رده :
QA
267
.
H6
104. Combinatorics on traces
پدیدآورنده : Diekert, Volker
کتابخانه: Central Library of Sharif University of Technology (Tehran)
موضوع : ، Sequential machine theory,، Formal languages
رده :
QA
267
.
5
.
S4
.
D54
1990
105. Combinatorics on traces
پدیدآورنده : Diekert, Volker, 5591-
کتابخانه: Library of Institute for Research in Fundamental Sciences (Tehran)
موضوع : ، Sequential machine theory,، Formal languages
رده :
QA
76
.
L28
Vol
.
454
106. Communication and concurrency
پدیدآورنده : Milner, Robin
موضوع : ، Machine theory,، Formal languages
۳ نسخه از این کتاب در ۳ کتابخانه موجود است.
107. Communication and concurrency
پدیدآورنده : Milner, R.)Robin(
کتابخانه: Central Library and Documentation Center (Kerman)
موضوع : ، Machine theory,، Formal languages
رده :
QA
267
.
M533
1989
108. Communication and concurrency /
پدیدآورنده : Robin Milner.
کتابخانه: Center and Library of Islamic Studies in European Languages (Qom)
موضوع : Formal languages.,Machine theory.,Operating systems (Computers).,Parallélisme (Informatique),Systèmes d'exploitation (Ordinateurs)-- Logiciels.,Betriebssystem,Betriebssystem.,Formal languages.,Kommunikationssystem,Kommunikationssystem.,Machine theory.,Parallelverarbeitung,Programmierung,Verteiltes System
رده :
QA267
.
M533
1989
109. Communication and concurrency
پدیدآورنده : Milner, Robin
کتابخانه: Central Library and Documents Center of Industrial University of Khaje Nasiredin Toosi (Tehran)
موضوع : ، Machine theory,، Formal languages
رده :
QA
267
.
M533
110. Communication & concurrency
پدیدآورنده : MILNER,ROBIN
کتابخانه: Central Library of Amirkabir University of Technology (Tehran)
موضوع : MACHINE THEORY , FORMAL LANGUAGES
رده :
QA
267
.
M533
111. Computability, Complexity, and Languages
پدیدآورنده : \ Martin D. Davis, Elaine J. Weyuker
کتابخانه: Library of Foreign Languages and Islamic Sources (Qom)
موضوع : Machine theory,Computational complexity,Formal languages,نظریه ماشین,پیچیدگی محاسباتی,زبان‌های صوری
رده :
E-Book
,
112. Computability, complexity, and languages :
پدیدآورنده : Martin D. Davis, Ron Sigal, Elaine J. Weyuker
کتابخانه: Center and Library of Islamic Studies in European Languages (Qom)
موضوع : Computational complexity,Formal languages,Machine theory
رده :
QA267
.
D38
1994
113. Computability, complexity, and languages
پدیدآورنده : Martin D. Davis, Elaine J. Weyuker,Title
کتابخانه: Central Library of Imam Khomeini International University of Qazvin (Qazvin)
موضوع : Machine theory,Computational complexity,Formal languages
رده :
QA
.
D38
267
1983
114. Computability, complexity, and languages : fundamentals of theoretical computer science
پدیدآورنده : Davis, Martin, 8291-
کتابخانه: Library of Institute for Research in Fundamental Sciences (Tehran)
موضوع : ، Machine theory,، Computational complexity,، Formal languages
رده :
QA
267
.
D285C6
115. Computability, complexity, and languages : fundamentals of theoretical computer science
پدیدآورنده : Davis, Martin
موضوع : ، Machine theory,، Computational complexity,، Formal languages
۳ نسخه از این کتاب در ۲ کتابخانه موجود است.
116. Computability, complexity, and languages : fundamentals of theoretical computer science
پدیدآورنده : Martin D. Davis, Ron Sigal, Elaine J. Weyuker
کتابخانه: Library of Campus2 Colleges of Engineering of Tehran University (Tehran)
موضوع : Machine theory,Computational complexity,Formal languages
رده :
QA
267
.
D38
1994
117. Computability, complexity, and languages fundamentals of theoretical computer science
پدیدآورنده : Davis, Martin
کتابخانه: Central Library and Documents Center of Industrial University of Khaje Nasiredin Toosi (Tehran)
موضوع : ، Machine theory,، Computational complexity,، Formal languages
رده :
QA
267
.
D38
118. Computability, complexity, and languages : fundamentals of theoretical computer science
پدیدآورنده : Davis, Martin, 8291-
کتابخانه: Library of Institute for Research in Fundamental Sciences (Tehran)
موضوع : ، Machine theory,، Computational complexity,، Formal languages
رده :
QA
267
.
D285C6
1994
119. Current trends in theoretical computer science: essays and tutorials
پدیدآورنده : edited by G. Rozenberg, A. Salomua
کتابخانه: Central Library and Documents Center of Industrial University of Khaje Nasiredin Toosi (Tehran)
موضوع : ، Machine theory,، formal languages
رده :
QA
267
.
C87
